On Extracting Static Semantics

Static Semantics with Montages

We introduce a descriptive approach to deene static semantics in the framework of Montages. It preserves readability and convenience of speciication and guarantees eecient computation of the typing.

A static semantics for Haskell

This paper gives a static semantics for Haskell 98, a non-strict purely functional programming language. The semantics formally speciies nearly all the details of the Haskell 98 type system, including the resolution of overloading, kind inference (including defaulting) and polymorphic recursion, the only major omission being a proper treatment of ambiguous overloading and its resolution. Overlo...

Executable Specification of Static Semantics

Static Semantics for Dynamic Discourse

One important development in semantics in the last twenty years, a development which has been very well chronicled in Linguistics and Philosophy, has involved the claim that semantics should be ‘dynamic’. By this is meant that the meaning of a sentence should be thought of not so much in terms of its truth conditions as in terms of the ‘potential to change truth conditions’. It is therefore tim...

Extracting Attack Scenarios Using Intrusion Semantics

Building the attack scenario is the first step to understand an attack and extract useful attack intelligence. Existing attack scenario reconstruction approaches, however, suffer from several limitations that weaken the elicitation of the attack scenarios and decrease the quality of the generated attack scenarios. In this paper, we discuss the limitations of the existing attack scenario reconst...